منابع مشابه
Alcohol in the city: wherever and whenever.
Alcohol urban environment has been associated with individual alcohol behaviors. We are constantly exposed to a wide variety of alcohol products, its marketing and promotion and signs of alcohol consumption that may influence alcohol-drinking behaviors. In this photo-essay, we include photographs that visually explain the exposure to alcohol in the urban streetscape of Madrid. These photographs...
متن کاملInterpreting Negatives in Discourse
In recent work, tableau-based model generation calculi have been used as computational models of the reasoning processes involved in utterance interpretation. In this linguistic application of an inference technique that was originally developed for automated theorem proving, natural language understanding is treated as a process of generating Herbrand models for the logical form of an utteranc...
متن کامل—An Extended Empirical Study of False Negatives in Static Bug-Finding Tools
Software defects can cause much loss. Static bug-finding tools are designed to detect and remove software defects and believed to be effective. However, do such tools in fact help prevent actual defects that occur in the field and reported by users? If these tools had been used, would they have detected these field defects, and generated warnings that would direct programmers to fix them? To an...
متن کاملBug Hunting with False Negatives
Safe data abstractions are widely used for verification purposes. Positive verification results can be transferred to the concrete system. When a property is violated in the abstract system, one still has to check whether a concrete violation exists. However, even when the violation scenario is not reproducible in the concrete system (a false negative), it may still contain information on possi...
متن کاملDigital Processing of Scanned Negatives
image processing, negatives One source of high quality digital image data is scanned photographic negatives, which can be processed to produce high quality color images. The scanned data must be inverted and processed to adjust for the film and scene characteristics. This report details a proposed approach to processing scanned negatives to produce output color images suitable for viewing on a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2009
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.323.5910.16c